161. An introduction to symbolic logic
پدیدآورنده : Langer, Susanne Katherina )Knauth(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
L35
1967
162. An introduction to symbolic logic
پدیدآورنده : Langer, Susanne Katherina Knauth, 5981-5891
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
L26I5
1967
163. An introduction to the elements of mathematics
پدیدآورنده : Fujii, John N
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Aggregates,، Algebra
رده :
QA
9
.
F8
164. An investigation of the laws of thought
پدیدآورنده : Boole, George, 5181-4681
موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
165. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
پدیدآورنده : Boole, George
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
1854a
166. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
پدیدآورنده : Boole, George
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
1958
167. An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
پدیدآورنده : Boole, George, 5181-4681
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities
رده :
BC
135
.
B7
168. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
169. An outline of set theory
پدیدآورنده : / James M.Henle
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Set theory,Logic,symbolic and mathematical
رده :
511
.
322
H514o
170. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
171. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
172. An outline of set theory
پدیدآورنده : James M. Henle,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
.
H43
248
1986
173. <An> outline of set theory
پدیدآورنده : James M. Henle
کتابخانه: (کرمان)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
174. An outline of set theory
پدیدآورنده : James M. Henle.
کتابخانه: (کرمان)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
175. An outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
176. An outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
177. Analysis and Synthesis of Logics
پدیدآورنده : \ by Walter Carnielli...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
178. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson ... ]et al.[
کتابخانه: (سمنان)
موضوع : ، Mathematical analysis,، Logic, symbolic and mathematical
رده :
QA
300
.
5
.
A53
179. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors: C. Ward Henson... ]et al.[
کتابخانه: (طهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A522
180. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A536
2002